xen/arm32: Call start_xen only on the boot CPU
authorJulien Grall <julien.grall@linaro.org>
Mon, 7 Oct 2013 14:44:35 +0000 (15:44 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 10 Oct 2013 10:18:25 +0000 (11:18 +0100)
commitbd7a85f9a4040a117696c43985932243df70def7
treec0f1f16324cf74fd6773689ff1f3cba483bff4f2
parentf2831c3a4ac803541eaf0a5992665c06ee852441
xen/arm32: Call start_xen only on the boot CPU

The boot CPU can have a CPU ID non-equal to zero. Xen needs to check the
logical CPU ID (in r12) to know if the CPU is the boot one.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/arm32/head.S